\usepackage{amsmath,amssymb,amsthm}             % AMS Math
% \usepackage[french]{babel}
%\usepackage[latin1]{inputenc}
%\usepackage[T1]{fontenc}
\usepackage{amsfonts}

\usepackage{xspace}
\usepackage{mathpartir}
\usepackage{textcomp}
\usepackage{stmaryrd}


%%%% ICTAC STUFFF
\usepackage{myproof}
\usepackage{xytree}
\usepackage{subfigure}
% Notation for definitions
\newcommand{\depth}[1]{\ensuremath{\mathsf{depth}(#1)}}
\newcommand{\maxDistance}[1]{\ensuremath{\mathsf{maxDistance}(#1)}}
\newcommand{\maxDist}[2]{\ensuremath{\mathsf{maxDist}_{#1}(#2)}}
\newcommand{\maxDepCom}[1]{\ensuremath{\mathsf{maxDepCom}(#1)}}
\newcommand{\deriv}[1]{\ensuremath{\mathsf{Deriv}(#1)}}
\newcommand{\Ho}[2]{\overline{#1} \langle #2 \rangle}

\newcommand{\shortv}[1]{}%{#1}
\newcommand{\longv}[1]{#1}

\newcommand{\Hopi}{\ensuremath{\textsc{HO}\pi}\xspace}


%%%% IMPOSSIBILITY STUFF

%\newcommand{\lang}[1]{\mathcal{L}_{#1}}
\newcommand{\cont}[2]{\ensuremath{\mathsf{#1}\{#2\}}}
\newcommand{\procs}[1]{\ensuremath{\mathcal{#1}}}
\newcommand{\papp}[2]{\ensuremath{#1 \lfloor #2 \rfloor}}
\newcommand{\df}[4]{\ensuremath{\mbox{\textsc{DF}}_{#4}(#1, #2, #3)}}
\newcommand{\mdf}[4]{\ensuremath{\mbox{\textsc{MDF}}_{#4}(#1, #2, #3)}}
%\newcommand{\hopis}[2]{\ensuremath{\mbox{HO}\pi^{#1}_{#2}}}
%\newcommand{\hopis}[2]{\ensuremath{\mbox{HO}\pi^{#1,#2}}}
\newcommand{\hide}[1]{}
\newcommand{\encpp}[1]{\os #1 \cs}
\newcommand{\sea}[1]{\ensuremath{\overrightarrow{#1}}\xspace }
\newcommand{\seaa}{\ensuremath{\vec{\alpha}}\xspace }

\newcommand{\rhocore}{\ensuremath{\textsc{AHO}}\xspace}
\newcommand{\shocore}{\ensuremath{\textsc{SHO}}\xspace}
\newcommand{\shoca}{\ensuremath{\textsc{SHO}^{a}}\xspace}

\newcommand{\hopis}[2]{\ensuremath{\shocore^{#1}}\xspace}
\newcommand{\ahopis}[2]{\ensuremath{\rhocore^{#1}}\xspace}
\newcommand{\bhopis}[2]{\ensuremath{\shocore^{#1}_a}\xspace}


% Barbs: strong, weak, safe weak
\newcommand{\stbarb}[1]{\downarrow_{#1}}
\newcommand{\webarb}[1]{\Downarrow_{#1}}
\newcommand{\swbarb}[1]{\downdownarrows_{#1}}

%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\guc}{GUC\xspace}

\def\midd{\; \; \mbox{\Large{$\mid$}}\;\;}

\newtheorem{norm}{Normalization step}
%\renewcommand{\out}[2]{\overline{#1}\langle{#2}\rangle}
\newcommand{\behtype}{\typeanswer}
\newcommand{\typeanswer}{\mbox{{\scriptsize \mbox{$\diamondsuit$}}}}


\usepackage[left=1.5in,right=1.3in,top=1.1in,bottom=1.1in,includefoot,includehead,headheight=13.6pt]{geometry}

\renewcommand{\baselinestretch}{1.05}

% TITLE OF THE THESIS
\newcommand{\eltitulo}{Higher-Order Concurrency: Expressiveness and Decidability Results}
%\newcommand{\eltitulo}{On the Expressive Power and Decidability of Higher-Order Concurrency (Preliminary Title)}
\usepackage[math]{iwona} %% Very nice!
%\usepackage{times}

%\usepackage{cmbright}\right] 
%\usepackage{fourier} % nice as well, looks more classic
%\usepackage[utopia]{mathdesign}
%\usepackage{mathptmx}

\usepackage[nottoc, notlof, notlot]{tocbibind}
\usepackage{minitoc}
\setcounter{minitocdepth}{2}
\mtcindent=15pt
% Use \minitoc where to put a table of contents

\usepackage{aecompl}

% Glossary / list of abbreviations

\usepackage[intoc]{nomencl}
\renewcommand{\nomname}{List of Abbreviations}

\makenomenclature

% My pdf code

\usepackage{ifpdf}

\ifpdf
  \usepackage[pdftex]{graphicx}
  \DeclareGraphicsExtensions{.jpg}
  \usepackage[a4paper,pagebackref,hyperindex=true]{hyperref}
\else
  \usepackage{graphicx}
  \DeclareGraphicsExtensions{.ps,.eps}
  \usepackage[a4paper,dvipdfm,pagebackref,hyperindex=true]{hyperref}
\fi

\graphicspath{{.}{images/}}

% Links in pdf
\usepackage{color}
\definecolor{linkcol}{rgb}{0,0,0.4} 
\definecolor{citecol}{rgb}{0.5,0,0} 

% Change this to change the informations included in the pdf file

% See hyperref documentation for information on those parameters

\hypersetup
{
bookmarksopen=true,
pdftitle=\eltitulo,
pdfauthor="Jorge A. PEREZ", 
pdfsubject=\eltitulo, %subject of the document
%pdftoolbar=false, % toolbar hidden
pdfmenubar=true, %menubar shown
pdfhighlight=/O, %effect of clicking on a link
colorlinks=true, %couleurs sur les liens hypertextes
pdfpagemode=None, %aucun mode de page
pdfpagelayout=SinglePage, %ouverture en simple page
pdffitwindow=true, %pages ouvertes entierement dans toute la fenetre
linkcolor=linkcol, %couleur des liens hypertextes internes
citecolor=citecol, %couleur des liens pour les citations
urlcolor=linkcol %couleur des liens pour les url
}

% definitions.
% -------------------

\setcounter{secnumdepth}{3}
\setcounter{tocdepth}{2}

% Some useful commands and shortcut for maths:  partial derivative and stuff

\newcommand{\pd}[2]{\frac{\partial #1}{\partial #2}}
\def\abs{\operatorname{abs}}
\def\argmax{\operatornamewithlimits{arg\,max}}
\def\argmin{\operatornamewithlimits{arg\,min}}
\def\diag{\operatorname{Diag}}
\newcommand{\eqRef}[1]{(\ref{#1})}

\usepackage{rotating}                    % Sideways of figures & tables
%\usepackage{bibunits}
%\usepackage[sectionbib]{chapterbib}          % Cross-reference package (Natural BiB)
%\usepackage{natbib}                  % Put References at the end of each chapter
                                         % Do not put 'sectionbib' option here.
                                         % Sectionbib option in 'natbib' will do.
\usepackage{fancyhdr}                    % Fancy Header and Footer

% \usepackage{txfonts}                     % Public Times New Roman text & math font
  
%%% Fancy Header %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Fancy Header Style Options

\pagestyle{fancy}                       % Sets fancy header and footer
\fancyfoot{}                            % Delete current footer settings

%\renewcommand{\chaptermark}[1]{         % Lower Case Chapter marker style
%  \markboth{\chaptername\ \thechapter.\ #1}}{}} %

%\renewcommand{\sectionmark}[1]{         % Lower case Section marker style
%  \markright{\thesection.\ #1}}         %

\fancyhead[LE,RO]{\bfseries\thepage}    % Page number (boldface) in left on even
% pages and right on odd pages
\fancyhead[RE]{\bfseries\nouppercase{\leftmark}}      % Chapter in the right on even pages
\fancyhead[LO]{\bfseries\nouppercase{\rightmark}}     % Section in the left on odd pages

\let\headruleORIG\headrule
\renewcommand{\headrule}{\color{black} \headruleORIG}
\renewcommand{\headrulewidth}{1.0pt}
\usepackage{colortbl}
\arrayrulecolor{black}

\fancypagestyle{plain}{
  \fancyhead{}
  \fancyfoot{}
  \renewcommand{\headrulewidth}{0pt}
}

\usepackage{algorithm}
\usepackage[noend]{algorithmic}

%%% Clear Header %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Clear Header Style on the Last Empty Odd pages
\makeatletter

\def\cleardoublepage{\clearpage\if@twoside \ifodd\c@page\else%
  \hbox{}%
  \thispagestyle{empty}%              % Empty header styles
  \newpage%
  \if@twocolumn\hbox{}\newpage\fi\fi\fi}

\makeatother
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
% Prints your review date and 'Draft Version' (From Josullvn, CS, CMU)
\newcommand{\reviewtimetoday}[2]{\special{!userdict begin
    /bop-hook{gsave 20 710 translate 45 rotate 0.8 setgray
      /Times-Roman findfont 12 scalefont setfont 0 0   moveto (#1) show
      0 -12 moveto (#2) show grestore}def end}}
% You can turn on or off this option.
% \reviewtimetoday{\today}{Draft Version}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 

\newenvironment{maxime}[1]
{
\vspace*{0cm}
\hfill
\begin{minipage}{0.5\textwidth}%
%\rule[0.5ex]{\textwidth}{0.1mm}\\%
\hrulefill $\:$ {\bf #1}\\
%\vspace*{-0.25cm}
\it 
}%
{%

\hrulefill
\vspace*{0.5cm}%
\end{minipage}
}

\let\minitocORIG\minitoc
\renewcommand{\minitoc}{\minitocORIG \vspace{1.5em}}

\usepackage{multirow}
\usepackage{slashbox}

\newenvironment{bulletList}%
{ \begin{list}%
	{$\bullet$}%
	{\setlength{\labelwidth}{25pt}%
	 \setlength{\leftmargin}{30pt}%
	 \setlength{\itemsep}{\parsep}}}%
{ \end{list} }

\newtheorem{definition}{D�finition}
\renewcommand{\epsilon}{\varepsilon}

% centered page environment

\newenvironment{vcenterpage}
{\newpage\vspace*{\fill}\thispagestyle{empty}\renewcommand{\headrulewidth}{0pt}}
{\vspace*{\fill}}

